push-pull doubler - German English Dictionary